One-Reversal Counter Machines and Multihead Automata: Revisited

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Ehsan Chiniforooshan | Mark Daley | Oscar H. Ibarra | Lila Kari | Shinnosuke Seki

Integrity and Consistency for Untrusted Services

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Christian Cachin

Structural Properties of Hard Metric TSP Inputs

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Tobias Mömke

On Approximating the d-Girth of a Graph

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: David Peleg | Ignasi Sau | Mordechai Shalom

Quantum Finite One-Counter Automata

BOOK CHAPTER published 1999 in SOFSEM’99: Theory and Practice of Informatics

Authors: Maksim Kravtsev

Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable

BOOK CHAPTER published 2018 in SOFSEM 2018: Theory and Practice of Computer Science

Authors: Joonatan Jalonen | Jarkko Kari

Iterated Hairpin Completions of Non-crossing Words

BOOK CHAPTER published 2012 in SOFSEM 2012: Theory and Practice of Computer Science

Authors: Lila Kari | Steffen Kopecki | Shinnosuke Seki

Efficient Algorithms for Handling Nondeterministic Automata

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Tomáš Vojnar

Combinatorics of Block-Parallel Automata Networks

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Kévin Perrot | Sylvain Sené | Léah Tapin

Automata Classes Accepting Languages Whose Commutative Closure is Regular

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Stefan Hoffmann

An Automata-Theoretical Characterization of Context-Free Trace Languages

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Benedek Nagy | Friedrich Otto

Quantum versus Probabilistic One-Way Finite Automata with Counter

BOOK CHAPTER published 2001 in SOFSEM 2001: Theory and Practice of Informatics

Authors: Richard Bonner | Rūsiņš Freivalds | Maksim Kravtsev

Counting Infinitely by Oritatami Co-transcriptional Folding

BOOK CHAPTER published 2020 in SOFSEM 2020: Theory and Practice of Computer Science

Authors: Kohei Maruyama | Shinnosuke Seki

Concatenation Operations and Restricted Variants of Two-Dimensional Automata

BOOK CHAPTER published 2021 in SOFSEM 2021: Theory and Practice of Computer Science

Authors: Taylor J. Smith | Kai Salomaa

A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata

BOOK CHAPTER published 2020 in SOFSEM 2020: Theory and Practice of Computer Science

Authors: Friedrich Otto

On the Size of Logical Automata

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Martin Raszyk

On the Undecidability of the Tiling Problem

BOOK CHAPTER published in SOFSEM 2008: Theory and Practice of Computer Science

Authors: Jarkko Kari

Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory

BOOK CHAPTER published 2013 in Lecture Notes in Computer Science

Authors: Marcella Anselmo | Dora Giammarresi | Maria Madonia

Simulation Problems for One-Counter Machine

BOOK CHAPTER published in SOFSEM’99: Theory and Practice of Informatics

Authors: Petr Jančar | Faron Moller | 1Zdeněk Sawa

Query Learning of Minimal Deterministic Symbolic Finite Automata Separating Regular Languages

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Yoshito Kawasaki | Diptarama Hendrian | Ryo Yoshinaka | Ayumi Shinohara